Nuprl Definition : sends
0,22
postcript
pdf
sends(
dE
;
dL
;
pred?
;
info
;
val
;
p
;
e
;
l
) == map(
r
.rmsg(
info
;
val
;
r
);receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
))
latex
Definitions
receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
)
,
rmsg(
info
;
val
;
e
)
,
map(
f
;
as
)
FDL editor aliases
sends
origin
r.rmsg(info;val;r);receives(dE;dL;pred?;info;p;e;l)) r.rmsg(info;val;r);receives(dE;dL;pred?;info;p;e;l))